if (isset(f5)) {
  trace.info(95,3,10);
  set.key(0,59,c2);
  set.key(0,60,c16);
  set.key(0,61,c9);
  set.key(0,62,c4);
  set.key(0,63,c3);
  set.key(0,64,c12);
  set.key(0,65,c5);
  set.key(0,67,c7);
  set.key(0,32,c14);
  set.key(0,18,c29);
  set.key(0,50,c11);
  set.key(0,25,c13);
  set.key(0,47,c8);
  //
  set.key(23,0,c35);
  set.key(24,0,c39);
  set.key(4,0,c37);
  set.key(1,0,c38);
  set.key(5,0,c20);
  set.key(17,0,c15);
  set.key(3,0,c27);
  set.key(26,0,c23);
  set.key(0,82,c40);
  //
  set.key(0,44,c1);
  set.key(3,0,c17);
  set.key(5,0,c9);
  set.key(9,0,c10);
  set.key(18,0,c6);
  set.key(19,0,c16);
  set.key(1,1,c30);
  set.key(1,2,c19);
  set.key(1,3,c8);
  set.key(1,4,c31);
  set.key(45,0,c26);
  set.key(43,0,c27);
  set.key(27,0,c19);
  set(f8);
  v15 = 3;
  v23 = 0;
  configure.screen(1,22,0);
  set.string(s0,">");
  set.cursor.char("_");
  v7 = 0;
  v10 = 2;
}
return();

// Messages
#message 1 ">"
#message 2 "_"